More from this Author

Verification, Model Checking, and Abstract Interpretation

by E. Allen Emerson, Kedar S. Namjoshi, Byron Cook (Editor), Andreas Podelski (Editor)